<pre>
<?php echo $type ?> [ <?php echo $code ?> ]:
<?php echo html::chars($message) ?>
</pre>
